prolog

9Ciepło

5Odpowiedz

list_sum([], 0). list_sum([Head | Tail], TotalSum) :- list_sum(Tail, Sum1), Total = Head + Sum1. Ten kod zwraca true. Jeśli zastąpię Total = Head + Sum1 przez Total is Head + Sum1, to zwr

27Ciepło

3Odpowiedz

Prolog - nietypowa składnia wierszy dla list

Natknąłem się na nieznaną nieco składnię Prologa w pracy Lee Naisha: Higher-order logic programming in Prolog. Oto pierwsza próbka kodu z papieru: % insertion sort (simple version) isort([], []). is

5Ciepło

1Odpowiedz

Lista wszystkich możliwych działań na planszy 4x4 w Prologu

Jak mogę wymienić wszystkie możliwe plansze po (na przykład) jednym graczu wykonuje jakieś działanie na planszy 4x4 (z 8 różnymi pionkami)? W piony powinny być, na przykład: i za każdym razem grasz je

5Ciepło

1Odpowiedz

Prosty problem PROLOG: Jak testować wiele zapytań w bazie danych Prolog?

Mam plik bazy danych Prolog (test_inserts.p), który użyłem do wstawienia wszystkich moich danych. Mam również plik zapytań Prolog (test_queries.pl), który ma wszystkie zapytania Prolog, które napisałe

6Ciepło

4Odpowiedz

jeśli klauzula else if else w prologu podobny do C/C++

w języku C mam coś takiego: if(cond1) {} else if(cond2) {} else {} jak to jest możliwe w Prologu?

6Ciepło

2Odpowiedz

Jak zanegować w Prologu

Jestem nowy w PROLOG i jestem na samym początku ćwiczeń na this page. Biorąc pod uwagę zasadami rodzic (X, Y) i mężczyzn (x), próbuję zdefiniować reguły matkę (X, Y), jak mother(X, Y) :- not(male

5Ciepło

2Odpowiedz

Alternatywa ekspresji "Commutativity" w Prologu?

jako początkujący Prolog, stwierdziłem, że wyrażenia przemienne w Prologu nie są intuicyjne. na przykład jeśli chcę wyrazić X i Y są w jednej rodzinie, jak: family(X,Y) :- married(X,Y); re

5Ciepło

2Odpowiedz

pretty-print prolog termin

Jak ładnie wydrukować listę terminów w SWI-Prolog. Próbowałem: portray_clause([term1, term2]). ale tylko pisze się w długi ciąg strumienia i nawet wychodzi jako lista kodów ASCII znaków - gdzie chciał

6Ciepło

2Odpowiedz

SWI-Prolog - Fail dochodzić

zdefiniować operator następująco: :- op(500, xfx, =>). Kiedy próbuję coś takiego: assert(a => b). Prolog zgłasza błąd, który mówi „nie uprawnień do modyfikowania static_procedure (=>)/2 '. Jakieś

12Ciepło

3Odpowiedz

Jaka jest dobra strona internetowa do nauki prologu?

Potrzebuję zrobić projekt dla klasy w Prologu, ale oni nie udzielili nam żadnego poradnictwa w języku, którym się zajmowali. Czytałem http://kti.mff.cuni.cz/~bartak/prolog/contents.html, ale nie rozum