Witamy na forum PC Format Zapraszamy do REJESTRACJI


Użytkownicy przeglądający ten wątek: 1 gości

Pomoc w zadaniu z SWI-Prolog - Arytmetyka

#1
Pomoc w zadaniu z SWI-Prolog - Arytmetyka
Mam zapisane w notatniku z rozszerzeniem .pl:
Kod:
isnumber(zero).
isnumber(s(X)) :- isnumber(X).

isequal(X,X) :- isnumber(X).
isequal(s(X),s(Y)) :- isequal(X,Y).

lessthanequal(zero,X) :- isnumber(X).
lessthanequal(s(X),s(Y)) :- lessthanequal(X,Y).

add1(zero,X,X) :- isnumber(X).
add1(s(X),Y,s(Z)) :- add1(X,Y,Z).

odd(s(zero)).
odd(s(s(s(X)))) :- odd(s(X)).

even(zero).
even(s(s(X))) :- even(X).

times(zero,X,zero) :- isnumber(X).
times(s(X),Y,Z) :- times(X,Y,Q), add1(Y,Q,Z).

quotient(X,X,s(zero)) :- isnumber(s(zero)).
quotient(X,Y,s(Z)) :- quotient(Q,Y,Z), add1(Y,Q,X).

remainder(X,X,zero).
remainder(X,Y,R) :- add1(X,Y,Q), remainder(Q,Y,R).

fact(zero,s(zero)) :- isnumber(s(zero)).
fact(N,X) :- fact(A,B), add1(A,s(zero),N), times(B,N,X).

fib(0, 0).
fib(1, 1).
fib(N, X) :- fib(A, C), fib(B, D), A is N - 1, B is N - 2, X is C + D.

shownum(zero,0).
shownum(X,N) :- shownum(A,B), add1(A,s(zero),X), N is B + 1.


Muszę wykonać do tego takie polecenia w Prologu (kompletnie nie wiem jak):

1) sprawdzić wcześniej zdefiniowane predykaty te (np times (X , Y , Z) ) za pomocą predykatu
shownum (X , Y) .

2) Pomyśl , jak zdefiniować predykaty quotient( X , Y , K ) i remainder( X , Y ) dla Y = zero!

Proszę o wypisanie co trzeba wpisywać w Prolog po kolei.

Bardzo proszę o pomoc
 System operacyjny: windows_seven Przeglądarka: chrome
#2
RE: Pomoc w zadaniu z SWI-Prolog - Arytmetyka
Kod zamykamy w znacznikach
Kod PHP:
[code][/code
. Tym razem poprawię, ale od następnego razu posty będa lądować w koszu.
Pozdrawiam.
Ajgor
 System operacyjny: windows_seven Przeglądarka: firefox
Programy: Polecane / Nowe / Inne




Podobne wątki (Pomoc w zadaniu z SWI-Prolog - Arytmetyka)
Wątek: Autor Odpowiedzi: Wyświetleń: Ostatni post
  [c++] Arytmetyka na dużych liczbach rzeczywistych - kalkulator ONP SzateX 10 8218 09.11.2014, 18:49
Ostatni post: SzateX
  [C++] Prośba o pomoc w zadaniu wykorzystującym paradygmat programowania obiektowego Mrood 2 2791 15.04.2014, 18:24
Ostatni post: Mrood
  Potrzebna pomoc w zadaniu zielonamrówka22 2 2648 25.09.2013, 14:16
Ostatni post: Ajgor

Skocz do:


Wybrane wątki (Pomoc w zadaniu z SWI-Prolog - Arytmetyka)
Wątek: Autor Odpowiedzi: Wyświetleń: Ostatni post
  Sap i power bi książki Cixi 1 8311 09.02.2018 21:46
Ostatni post: Cixi
  Pomoc w VBA excel Woof 3 8805 19.01.2018 09:36
Ostatni post: Woof
Ściana [CMD] Dwa zadanka które mnie przerosły MihuJ 0 8094 11.01.2018 15:52
Ostatni post: MihuJ
  Czy programowanie jest dla mnie? Co powinienem robić? Kumiku 2 8474 05.01.2018 20:14
Ostatni post: broda99
  SQL zapisanie w rekordzie nazwy zalogowanego użytkownika karlos1323 11 3131 30.12.2017 11:08
Ostatni post: koneton
  Mały algorytm bartek164 3 8421 25.12.2017 10:41
Ostatni post: Szachista
  Git - kompilacja pobranej apki ~Anonim 6 8136 23.12.2017 14:59
Ostatni post: ~Anonim
  wczytywanie zmiennej z innego pliku batch grymariusza 7 8876 18.12.2017 17:34
Ostatni post: broda99
  Jaki kod pod takie okno formularza w visualbasicu 2010? aktywny27 11 18494 26.11.2017 23:26
Ostatni post: Ajgor
  Jaki projekt na pythona bartek164 0 7863 25.11.2017 19:59
Ostatni post: bartek164
  [VB.NET] przenoszenie danych między formami Pioro 15 19204 19.11.2017 03:48
Ostatni post: broda99
  Java.android.Tworzenie akcji Blendow 0 7739 16.11.2017 23:38
Ostatni post: Blendow
  Proszę o pomoc, cmd! PanKasztan4 1 7214 16.11.2017 22:05
Ostatni post: broda99
  Jaki kod w visual basicu 2010 express? aktywny27 5 8385 07.11.2017 11:01
Ostatni post: Ajgor
  Sprawdzanie wygranej. PixelFullHD 1 7954 03.11.2017 18:38
Ostatni post: Ajgor