prolog

6Hitze

3Antwort

Ich habe mich entschieden, Prolog zu lernen. Was ist ein guter Dolmetscher? Noch besser, wenn es ein anständiges c/C++ ffi hat.

5Hitze

3Antwort

Prolog Anfänger: Wie man mit arithmetischen Vergleichsoperatoren vereinheitlicht oder wie man eine var auf einen Wertebereich setzt

Ich bin neu in Prolog. Ich muss einen ganzzahligen Addierer schreiben, der Zahlen zwischen 0-9 zu anderen Zahlen 0-9 hinzufügt und eine Lösung 0-18 produziert. Dies ist, was ich tun möchte: % pseudo c

15Hitze

4Antwort

Was sind die Verwendungen des Fehlerprädikats in Prolog?

Ich kann mir keine Situation ausdenken, in der ich sie brauchen würde.

5Hitze

2Antwort

Suche nach einem guten semantischen Parser für die russische Sprache

Kennt jemand einen semantischen Parser für die russische Sprache? Ich habe versucht, den Link-Parser von link-grammar site zur Verfügung zu stellen, aber ohne Erfolg. Ich hoffe auf ein System, das auf

6Hitze

2Antwort

Warnungen in swi-prolog ausschalten

Wie kann ich Warnungen in swi-prolog ausschalten? Clauses of XXX/AA are not together in the source-file ist sehr nervig.

6Hitze

3Antwort

PROLOG alle anders

Ich habe ein sehr seltsames Problem mit PROLOG. Ich habe es schon früher benutzt, aber es ist schon eine Weile her und ich bin rostig. Ich habe eine Liste von Variablen und ich muss sicherstellen, das

10Hitze

2Antwort

Prolog Konstanten

Gibt es eine Möglichkeit, Konstanten in Prolog zu definieren? Ich möchte etwas schreiben, wie list1 :- [1, 2, 3]. list2 :- [4, 5, 6]. predicate(L) :- append(list1, list2, L). Die Work-around Ich

10Hitze

3Antwort

Jetzt Prolog lernen! Übungslösungen

Weiß jemand, wo ich Lösungen zu den Übungen und praktischen Sitzungen zu Learn Prolog Now finden kann? Ich begann damit zu arbeiten und würde die Antworten, die ich entwarf, überprüfen.

17Hitze

4Antwort

Was ist interessanter oder leistungsfähiger: Curry, Mercury oder Lambda-Prolog?

Ich möchte Sie fragen, welches formelle System interessanter wäre, um von Grund auf neu zu implementieren. Ich habe einige bestehende und Open-Source-Projekte von logischen/deklarativen Programmiersys

9Hitze

3Antwort

Was bewertet [a | b | c] in SWI-Prolog?

Der Pipe-Operator in Prolog gibt einen oder mehrere atomare Heads und eine Tail-Liste zurück. ?- [a,b,c] = [a|[b|[c]]]. true. Was bedeutet die Aussage infer [a|b|c] über a, b und c: ?- [a,b,c] = [a