mercury

6Hitze

3Antwort

Unterstützt eine Version von Prolog eine Abstraktion höherer Ordnung von Akkumulatoren?

ich über einen Prolog fragen, die einen eingebauten in Aufruf wie folgt umfassen könnte: accum(generator, filter, accumulator) Calculates all solutions to generator. For each one, if filter can be p

9Hitze

2Antwort

Am nützlichsten und lehrreichsten funktional-Logik Sprache zu lernen

Ich war ziemlich erstaunt über die Kraft von Prolog. Es hat einige Zeit gedauert, um den Kopf herumzukriegen, aber für mich schien es die coolste deklarative Sprache da draußen zu sein. Deshalb habe i

2Hitze

1Antwort

Liste in Tupel in Merkur umwandeln

Ich bin nur ein absoluter Anfänger in Quecksilber und finde es schwierig, dieses Problem zu lösen. Ich möchte eine Liste in eine Liste von Tupeln konvertieren, die von kleineren zu höheren Frequenties

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

16Hitze

1Antwort

Wie bezieht sich Ruts Besitz-Semantik auf die Eindeutigkeits-Typisierung, wie sie in Clean und Mercury zu finden ist?

Mir ist aufgefallen, dass in Rust Moving auf lvalues angewendet wird, und dass statisch erzwungen wird, dass bewegte Objekte nicht verwendet werden. Wie beziehen sich diese Semantiken auf die Eindeu

1Hitze

1Antwort

Erstellen eines Mercury-Programms mit Untermodulen in einem Unterverzeichnis

Ich habe ein Quecksilberprogramm, das ein Modul aus einer anderen Datei importiert. Ich möchte diese Datei in einem Unterverzeichnis speichern können. Wie kann ich das machen? Ich benutze mmc -E --mak

5Hitze

1Antwort

Welchen Vorteil bringen Typen logische Programmiersprachen wie Mercury?

Ich habe angefangen, die Mercury Sprache zu betrachten, die sehr interessant scheint. Ich bin ein Neuling in der Logikprogrammierung, aber ziemlich erfahren in der funktionalen Programmierung in Scala