prolog

5Hitze

7Antwort

Gibt es ein ernsthaftes Projekt mit PROLOG?

**Is there any serious project going on using** PROLOG http://www.atarimagazines.com/startv2n5/prolog.jpg **?**

13Hitze

2Antwort

Erlang Programmierung: Will Learning Prolog Hilfe?

Will lernen Prolog helfen, Erlang zu lernen in einer Weise spezifisch für Erlang? Erlang begann als paralleler Prolog, aber ist moderner Erlang mit Prolog verbunden (jenseits der Syntax)? Ich verstehe

6Hitze

3Antwort

Wie würden Sie ein Programm in Prolog programmieren, um Zahlen von 1 bis 10 mit Rekursion zu drucken?

Wie würden Sie ein Programm in Prolog programmieren, um Zahlen von 1 bis 10 mit Rekursion zu drucken? Ich habe Folgendes versucht, aber es funktioniert nicht, können Sie mir sagen, warum? print_number

20Hitze

4Antwort

Hallo Welt in Prolog

Ich reiße mir die Haare aus und versuche herauszufinden, wie man in Prolog einfach ein Hello World Programm schreibt. Ich möchte nur ein Programm erstellen, wie läuft so: > ./hw Hello, world! > Da

10Hitze

3Antwort

Parsing Zahlen mit mehreren Stellen in Prolog

Ich habe die folgenden einfachen Ausdruck Parser: expr(+(T,E))-->term(T),"+",expr(E). expr(T)-->term(T). term(*(F,T))-->factor(F),"*",term(T). term(F)-->factor(F). factor(N)-->nat(N). factor(E)

25Hitze

2Antwort

Warum ist diese Prologabfrage sowohl wahr als auch falsch?

Meine SWI-Prolog Wissensbasis enthält die folgenden zwei Tatsachen: f(a,b). f(a,c). Nun, wenn ich die Abfrage ?- f(a,c). true. Aber ?- f(a,b). true ; false. Warum ist f (a, b) darstellen bei

5Hitze

2Antwort

Typisierung des Y-Kombinators

http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html ist eine präzise Definition des einfach typisierten Lambda-Kalküls in Prolog. Es sieht okay aus, aber dann gibt er

7Hitze

2Antwort

Problem, wenn ein Operator in Prolog zu definieren versuchen

Ich habe eine Prolog-Datei mit dem folgenden Code definiert: divisible(X, Y) :- X mod Y =:= 0. divisibleBy(X, Y) :- divisible(X, Y). op(35,xfx,divisibleBy). Prolog reklamiert und '$ re

8Hitze

2Antwort

Doppelte Lösungen

Ich habe ein Problem versucht, Code zu erhalten, der eindeutige Antworten auf meine Abfrage zurückgibt. Zum Beispiel gibt stuff(A,B,C) :- A=C ; B=C. morestuff([],[],[]). morestuff([A|AA],[B|BB],[C|C

10Hitze

5Antwort

Überprüfung des Prologtyps

Gibt es eine Möglichkeit, den Typ eines Elements in einer Liste in Prolog zu bestimmen? Ich weiß, dass Variablen nicht explizit in Prolog eingegeben werden, aber ich muss überprüfen, ob ein Element ei