Напишите предикат, предшествует/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.

Блоги программистов
Как перейти с 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 более гибким и эффективным по. . .	Модель полного двоичного сумматора с помощью логических операций (python) AlexSky-coder 04.01.2025 def binSum(x:list, y:list): s=^y] p=x and y for i in range(1,len(x)): s. append((x^y)^p) p=(x and y)or(p and (x or y)) return s x=list() y=list()	Это мы не проходили, это нам не задавали...(асихронный счётчик с управляющим сигналом зад Hrethgir 04.01.2025 Асинхронный счётчик на сумматорах (шестиразрядный по числу диодов на плате, но наверное разрядов будет больше - восемь или шестнадцать, а диоды на старшие), так как триггеры прошли тестирование и. . .	Руководство по созданию бота для Телеграм на Python IT_Exp 04.01.2025 Боты для Телеграм представляют собой автоматизированные программы, которые выполняют различные задачи, взаимодействуя с пользователями через интерфейс мессенджера. В данной статье мы рассмотрим,. . .

@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