Напишите предикат, предшествует/2, который берет два атома в качестве своих аргументов и успешно согласуется

@Havos · Регистрация: 09.10.2016

Author24 — интернет-сервис помощи студентам

Напишите предикат, предшествует/2, который берет два атома в качестве своих аргументов и успешно согласуется, если первый из них в лексикографическом порядке предшествует второму.
Предикат предшествует(+X,+Y) должен иметь в качестве входных аргумента два атома (переменной аргумент не может быть, и аргументы не сводятся к одному символу). Примеры правильной работы:
?- предшествует (aaaazzzzzzzzzzzzzzz,aab).
Yes
?- предшествует (aaaazzzzzzzzzzzzzzz, aaaac).
No
?- предшествует(example,examples).
Yes
?- предшествует (example,bexamples).
No
Лексикографический порядок для атомов определяется так же как для строк в Паскале. Не используйте встроенный оператор сравнения @=< для атомов в Прологе.
Помогите пожалуйста решить данную задачу, пролог только начал изучать и логики в нем не вижу....

Добавлено через 4 минуты

Prolog

lex(Atom,Atom2) :- name(Atom,L), 
name(Atom2,L2),
lx(L,L2). 
lx([],[]).
lx([],_).
lx([A|L],[B|L2]) :- A<B,!; 
A=:=B, 
lx(L,L2).

Код примерно такой, но не зависимо от введенных слов пишет false

@Black Fregat · 09.10.2016, 23:54

Код

?- lex(alpha,beta).
true.

@Havos · 10.10.2016, 14:03 **[ТС]**

если использоваться lex то на любую вариацию и будет писать true, идет сравнение слов , и должно выводиться либо true либо false, если использую lx всегда false, если lex то всегда true

@Black Fregat · 10.10.2016, 21:26

Код

?- lex(beta,alpha).
false.

?- lex(alpha,beta).
true.

А как именно Вы используете lx? Ему ведь на вход надо список символов подавать:

Код

?- lx(`alpha`, `beta`).
true.

?- lx(`beta`,`alpha`).
false.

Новые блоги и статьи
Что лучше использовать при создании класса в Java: сеттеры или конструктор? Alexander-7 08.01.2025 Вопрос подробнее: На вопрос: «Когда одновременно создаются конструктор и сеттеры в классе – это нормально?» куратор уточнил: «Ваш класс может вообще не иметь сеттеров, а только конструктор и геттеры. . .	Как работать с GraphQL на TypeScript InfoMaster 08.01.2025 Введение в GraphQL и TypeScript В современной разработке веб-приложений GraphQL стал мощным инструментом для создания гибких и эффективных API. В сочетании с TypeScript, эта технология. . .	Счётчик на базе сумматоров + регистров и генератора сигналов согласования. Hrethgir 07.01.2025 Создан с целью проверки скорости асинхронной логики: ранее описанного сумматора и предополагаемых fast регистров. Регистры созданы на базе ранее описанного, предполагаемого fast триггера. То-есть. . .	Как перейти с Options API на Composition API в Vue.js BasicMan 06.01.2025 Почему переход на Composition API актуален В мире современной веб-разработки фреймворк Vue. js продолжает эволюционировать, предлагая разработчикам все более совершенные инструменты для создания. . .	Архитектура современных процессоров inter-admin 06.01.2025 Процессор (центральный процессор, ЦП) является основным вычислительным устройством компьютера, которое выполняет обработку данных и управляет работой всех остальных компонентов системы. Архитектура. . .	История создания реляционной модели баз данных, правила Кодда Programming 06.01.2025 Предпосылки создания реляционной модели В конце 1960-х годов компьютерная индустрия столкнулась с серьезными проблемами в области управления данными. Существовавшие на тот момент модели данных -. . .
Полезные поделки на Arduino, которые можно сделать самому raxper 06.01.2025 Arduino как платформа для творчества Arduino представляет собой удивительную платформу для технического творчества, которая открывает безграничные возможности для создания уникальных проектов. Эта. . .	Подборка решений задач на Python IT_Exp 06.01.2025 Целью данной подборки является предоставление возможности ознакомиться с различными задачами и их решениями на Python, что может быть полезно как для начинающих, так и для опытных программистов. . . .	С чего начать программировать микроконтроллеры raxper 06.01.2025 Введение в мир микроконтроллеров Микроконтроллеры стали неотъемлемой частью современного мира, окружая нас повсюду: от простых бытовых приборов до сложных промышленных систем. Эти маленькие. . .	Из чего собрать игровой компьютер inter-admin 06.01.2025 Сборка игрового компьютера требует особого внимания к выбору комплектующих и их совместимости. Правильно собранный игровой ПК не только обеспечивает комфортный геймплей в современных играх, но и. . .	Обновление сайта www.historian.by Reglage 05.01.2025 Обещал подвести итоги 2024 года для сайта. Однако начну с того, что изменилось за неделю. Добавил краткий урок по последовательности действий при анализе вредоносных файлов и значительно улучшил урок. . .	Как использовать GraphQL в C# с HotChocolate Programming 05.01.2025 GraphQL — это современный подход к разработке API, который позволяет клиентам запрашивать только те данные, которые им необходимы. Это делает взаимодействие с API более гибким и эффективным по. . .

@Black Fregat Фрилансер 3709 / 2082 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	09.10.2016, 23:54	2
	Код ?- lex(alpha,beta). true. 0

@Havos 0 / 0 / 0 Регистрация: 09.10.2016 Сообщений: 5
	10.10.2016, 14:03 [ТС]	3
	если использоваться lex то на любую вариацию и будет писать true, идет сравнение слов , и должно выводиться либо true либо false, если использую lx всегда false, если lex то всегда true 0

@Black Fregat Фрилансер 3709 / 2082 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	10.10.2016, 21:26	4
	Код ?- lex(beta,alpha). false. ?- lex(alpha,beta). true. А как именно Вы используете lx? Ему ведь на вход надо список символов подавать: Код ?- lx(`alpha`, `beta`). true. ?- lx(`beta`,`alpha`). false. 0

Опции темы