Трудности в написании программы

@ALeXUI · Регистрация: 16.04.2012

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

Здравствуйте, помогите пожалуйста со следующей проблемой=)
Начинаю программировать на прологе) Разобрался со всеми базовыми вещами, но столкнулся с определённой задачей, реализовать, которую пока не получается=(
Смысл заключается в следующем: даны алгебраические выражения, цифры заменены буквами, а знаки арифметических операций заменены знаками вопроса, надо найти подстановки, которые обратят равенства в верные тождества.
Например: ACHS / DD = NXS HOB ? SS = HXN NXS - DOC = HXN
Подскажите пожалуйста примерный алгоритм, или может сталкивались с чем-то похожим) Буду благодарен любым подсказкам))

@Грымзик · 16.04.2012, 19:49

Так ACHS задавать нельзя, это такое же имя переменной, как и из одной буквы. Поэтому числа будут в виде списков.

Prolog

zapolnit_ciframi1([],L,L).
zapolnit_ciframi1([H|Tail],L,L1):-nonvar(H),!,zapolnit_ciframi1(Tail,L,L1).
zapolnit_ciframi1([H|Tail],L,L1):-select(H,L,Temp),zapolnit_ciframi1(Tail,Temp,L1).
 
zapolnit_ciframi([H|Tail],L,L1):-zapolnit_ciframi1([H|Tail],L,L1),H\='0'.
 
zapolnit(A,L,L1):-zapolnit_ciframi(A,L,L1).
zapolnit(V,L,L1):-(V=A+B;V=A-B;V=A*B;V=A/B;V=A?B),
    zapolnit_ciframi(A,L,Temp),zapolnit_ciframi(B,Temp,L1).
 
naiti(A=B,A1=B1):-
    zapolnit(A,['0','1','2','3','4','5','6','7','8','9'],L),zapolnit(B,L,_),
    poschitat(A,A1),poschitat(B,B1),A1=:=B1.
 
poschitat(A,N):-is_list(A),number_chars(N,A).
poschitat(V,A1+B1):-(V=A+B;V=A?B),poschitat(A,A1),poschitat(B,B1).
poschitat(V,A1-B1):-(V=A-B;V=A?B),poschitat(A,A1),poschitat(B,B1).
poschitat(V,A1*B1):-(V=A*B;V=A?B),poschitat(A,A1),poschitat(B,B1).
poschitat(V,A1/B1):-(V=A/B;V=A?B),poschitat(A,A1),poschitat(B,B1).

?- naiti([H,O,B]?[S,S]=[H,X,N],A).
H = '1',
O = '0',
B = '4',
S = '8',
X = '9',
N = '2',
A = (104+88=192)

@ALeXUI · 18.04.2012, 13:44 **[ТС]**

Грымзик, Спасибо, огромное) Почти всё понятно) Но есть два вопроса)
1. Почему-то ругается на строчки с операцией '?' (V=A?B).Думал может операция не определена, попробывал переопределить через op(.....'?'), на что компилятор сказал, что функция статическая. Подскажите пожалуйста как быть? Ошибка слдующая "Syntax error:Operator expected"
2.В чем смысл этих сопоставлений A=B,A1=B1 в цели naiti?
Огромное спасибо, ещё раз=)

@Грымзик · 18.04.2012, 14:29

Что за компилятор у Вас?

Сообщение от ALeXUI

В чем смысл этих сопоставлений A=B,A1=B1 в цели naiti?

Ну в А=В строки храняться еще в виде [...]?[...]=[...], а в А1=В1 все ? заменяются уже на арифметические операции, а списки на числа.

@ALeXUI · 18.04.2012, 15:26 **[ТС]**

Компилятор SWI-Prolog (Multi-threaded, Version 5.6.45)

@Грымзик · 18.04.2012, 16:04

У меня 5.10.5 и на ? не жалуется.

@ALeXUI · 18.04.2012, 17:26 **[ТС]**

Если удалить все условия типа (V=A?B), то ошибок нету, но тогда теряется смысл программы.
А если оставляю как есть, то компилятор выдаёт следующее:
3 ?- consult('/home/nurgle/lab1.pl').

ERROR: /home/nurgle/lab1.pl:8:0: Syntax error: Operator expected
ERROR: /home/nurgle/lab1.pl:16:0: Syntax error: Operator expected
ERROR: /home/nurgle/lab1.pl:17:0: Syntax error: Operator expected
ERROR: /home/nurgle/lab1.pl:18:0: Syntax error: Operator expected
ERROR: /home/nurgle/lab1.pl:19:0: Syntax error: Operator expected

% /home/nurgle/lab1.pl compiled 0.00 sec, 2,804 bytes
Никак не могу понять из-за чего так происходит

@Грымзик · 18.04.2012, 17:34

Попробовали более новую версию компилятора?

@ALeXUI · 18.04.2012, 17:57 **[ТС]**

Походу, тут дело не в версии, при компиляции под windows, даже на более низких версиях пролога, компиляция проходит успешно, а при компиляции на Unix, появляются ошибки. Возможно нужно как-то изменить оператор "?". Пока не моу понять как...

@Грымзик · 18.04.2012, 23:36

Тогда с помощью op создайте собственный оператор, и вместо ? используйте его.

@ALeXUI · 19.04.2012, 23:05 **[ТС]**

Спасиба, Вам большое за помощь) Хотел сразу так сделать, но не получалось, забывал перд op(...) поставить двоеточие тире =)

@ALeXUI 0 / 0 / 0 Регистрация: 16.04.2012 Сообщений: 6
	19.04.2012, 23:05 [ТС]	11
	Спасиба, Вам большое за помощь) Хотел сразу так сделать, но не получалось, забывал перд op(...) поставить двоеточие тире =) 0

@ALeXUI 0 / 0 / 0 Регистрация: 16.04.2012 Сообщений: 6
		1
	Трудности в написании программы 16.04.2012, 18:59. Показов 1393. Ответов 10 Метки нет (Все метки) Здравствуйте, помогите пожалуйста со следующей проблемой=) Начинаю программировать на прологе) Разобрался со всеми базовыми вещами, но столкнулся с определённой задачей, реализовать, которую пока не получается=( Смысл заключается в следующем: даны алгебраические выражения, цифры заменены буквами, а знаки арифметических операций заменены знаками вопроса, надо найти подстановки, которые обратят равенства в верные тождества. Например: ACHS / DD = NXS HOB ? SS = HXN NXS - DOC = HXN Подскажите пожалуйста примерный алгоритм, или может сталкивались с чем-то похожим) Буду благодарен любым подсказкам)) 0

@ALeXUI 0 / 0 / 0 Регистрация: 16.04.2012 Сообщений: 6
	18.04.2012, 13:44 [ТС]	3
	Грымзик, Спасибо, огромное) Почти всё понятно) Но есть два вопроса) 1. Почему-то ругается на строчки с операцией '?' (V=A?B).Думал может операция не определена, попробывал переопределить через op(.....'?'), на что компилятор сказал, что функция статическая. Подскажите пожалуйста как быть? Ошибка слдующая "Syntax error:Operator expected" 2.В чем смысл этих сопоставлений A=B,A1=B1 в цели naiti? Огромное спасибо, ещё раз=) 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.04.2012, 14:29	4
	Что за компилятор у Вас? Сообщение от ALeXUI В чем смысл этих сопоставлений A=B,A1=B1 в цели naiti? Ну в А=В строки храняться еще в виде [...]?[...]=[...], а в А1=В1 все ? заменяются уже на арифметические операции, а списки на числа. 1

@ALeXUI 0 / 0 / 0 Регистрация: 16.04.2012 Сообщений: 6
	18.04.2012, 15:26 [ТС]	5
	Компилятор SWI-Prolog (Multi-threaded, Version 5.6.45) 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.04.2012, 16:04	6
	У меня 5.10.5 и на ? не жалуется. 0

@ALeXUI 0 / 0 / 0 Регистрация: 16.04.2012 Сообщений: 6
	18.04.2012, 17:26 [ТС]	7
	Если удалить все условия типа (V=A?B), то ошибок нету, но тогда теряется смысл программы. А если оставляю как есть, то компилятор выдаёт следующее: 3 ?- consult('/home/nurgle/lab1.pl'). ERROR: /home/nurgle/lab1.pl:8:0: Syntax error: Operator expected ERROR: /home/nurgle/lab1.pl:16:0: Syntax error: Operator expected ERROR: /home/nurgle/lab1.pl:17:0: Syntax error: Operator expected ERROR: /home/nurgle/lab1.pl:18:0: Syntax error: Operator expected ERROR: /home/nurgle/lab1.pl:19:0: Syntax error: Operator expected % /home/nurgle/lab1.pl compiled 0.00 sec, 2,804 bytes Никак не могу понять из-за чего так происходит 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.04.2012, 17:34	8
	Попробовали более новую версию компилятора? 1

@ALeXUI 0 / 0 / 0 Регистрация: 16.04.2012 Сообщений: 6
	18.04.2012, 17:57 [ТС]	9
	Походу, тут дело не в версии, при компиляции под windows, даже на более низких версиях пролога, компиляция проходит успешно, а при компиляции на Unix, появляются ошибки. Возможно нужно как-то изменить оператор "?". Пока не моу понять как... 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.04.2012, 23:36	10
	Тогда с помощью op создайте собственный оператор, и вместо ? используйте его. 0