точка остановки

@GROM32RUS · Регистрация: 02.12.2013

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

программа может создать таблицу умножения и сохранить ее в файл.но сейчас нужно сделать так чтоб она загружала созданный ею файл и удалила все записи кроме нужной.проблема в том что предикат del удаляет все записи,то есть точка остановки не срабатывает.

я догадываюсь,что надо было просто rectalом пройти,но не получается.помогите пожалуйста.если можно сразу кусок кода отвечающий за удаление всех записей кроме одной например 5 5 25

Prolog

domains
  list= integer*
database
    mult(integer, integer, integer).
predicates
    genTable(integer)
    getMult(integer, integer)
    del()
clauses
    genTable(0).
    genTable(L):-L>0, L1=L-1, genTable(L1), getMult(L, 10).
 
    getMult(_, 0).
    getMult(N, K):-N>0, K1=K-1, getMult(N, K1),M=N*K, assert(mult(N, K, M)).
        
del():-mult(5,5,25).    
del():-
                 retractall(mult(_,_,_)).
 
 
 
goal
  retractall(mult(_,_,_)),consult("mult.txt"),del(),save("multt.txt").

@Black Fregat · 31.05.2016, 17:18

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

кусок кода отвечающий за удаление всех записей кроме одной например 5 5 25

А не проще ли удалить все, а потом добавить нужную?

Prolog

1 2	retractall(mult(_, _, _)), assert(mult(5, 5, 25)).

@GROM32RUS · 31.05.2016, 19:42 **[ТС]**

нет,надо как то так:
но этот код если добавить сравнение y и х станет выводить бред

Prolog

domains
  list= integer*
database
    mult(integer, integer, integer).
predicates
    genTable(integer)
    getMult(integer, integer)
    del(integer,integer,integer)
clauses
    genTable(0).
    genTable(L):-L>0, L1=L-1, genTable(L1), getMult(L, 10).
 
    getMult(_, 0).
    getMult(N, K):-N>0, K1=K-1, getMult(N, K1),M=N*K, assert(mult(N, K, M)).
            
del(X, Y, Z):-mult(X1,Y1,Z1),Z1<>Z, retract(mult(X1, Y1, Z1)),fail. 
del(X1, Y1,Z1).
goal
  retractall(mult(_,_,_)),consult("mult.txt"),del(_,_,9),save("multt.txt").

@arlat · 31.05.2016, 20:38

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

del удаляет все записи,то есть точка остановки не срабатывает

она срабатывает, только не так

, собственно, словами прочитайте, что делает предикат del (в первом варианте), он не делает того, что сказано в задании... может так

Prolog

1 2	del() :- mult(X,Y,Z), not( (X=5, Y=5, Z=25) ), retract( mult(X,Y,Z) ), fail. del().

@GROM32RUS · 31.05.2016, 20:41 **[ТС]**

спасибо))но я уже решил.вот так:

Prolog

1 2	del(X, Y, Z):-mult(X1,Y1,Z1),Z1<>Z,retract(mult(X1, Y1, Z1)),Y<>Y1,X<>X1,fail. del(_,_,_).

@arlat · 31.05.2016, 20:52

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

но я уже решил.вот так

ну да, не успел написать, что второй вариант сработает, только X и Y лишние

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

Y<>Y1,X<>X1

а это зачем уже после retract

Добавлено через 1 минуту
проверять так уже или Z или все

@GROM32RUS · 01.06.2016, 16:13 **[ТС]**

если поставить до программа выведет все значения
да,для того чтоб проверять все значения)ведь только z не даст 100% точности))

я позже попробую ваш вариант.про нот я знаю,но как то опыта использования нет

Добавлено через 18 часов 53 минуты
а ваш код ,кстати,не работает

@arlat · 01.06.2016, 17:58

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

а ваш код ,кстати,не работает

В Прологе работает, у вас трудно сказать

@GROM32RUS · 03.06.2016, 06:56 **[ТС]**

у меня на локальном турбо прологе 2.0 не работает)

@arlat · 03.06.2016, 17:58

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

на локальном турбо прологе 2.0 не работает)

скриншот приведите, может Black Fregat поможет...

@arlat 794 / 598 / 156 Регистрация: 07.10.2013 Сообщений: 1,327
	31.05.2016, 20:52	6
	Сообщение от GROM32RUS но я уже решил.вот так ну да, не успел написать, что второй вариант сработает, только X и Y лишние Сообщение от GROM32RUS Y<>Y1,X<>X1 а это зачем уже после retract Добавлено через 1 минуту проверять так уже или Z или все 0

@GROM32RUS 2 / 2 / 4 Регистрация: 02.12.2013 Сообщений: 151
	01.06.2016, 16:13 [ТС]	7
	если поставить до программа выведет все значения да,для того чтоб проверять все значения)ведь только z не даст 100% точности)) я позже попробую ваш вариант.про нот я знаю,но как то опыта использования нет Добавлено через 18 часов 53 минуты а ваш код ,кстати,не работает 0

@arlat 794 / 598 / 156 Регистрация: 07.10.2013 Сообщений: 1,327
	01.06.2016, 17:58	8
	Сообщение от GROM32RUS а ваш код ,кстати,не работает В Прологе работает, у вас трудно сказать Миниатюры 1

@GROM32RUS 2 / 2 / 4 Регистрация: 02.12.2013 Сообщений: 151
	03.06.2016, 06:56 [ТС]	9
	у меня на локальном турбо прологе 2.0 не работает) 0

@arlat 794 / 598 / 156 Регистрация: 07.10.2013 Сообщений: 1,327
	03.06.2016, 17:58	10
	Сообщение от GROM32RUS на локальном турбо прологе 2.0 не работает) скриншот приведите, может Black Fregat поможет... 0

точка остановки

Решение