Prolog s disjunkcí

[logician]

Mám prototyp logické databáze v Prologu, ale u některých pravidel potřebuju disjunkci v konsekventu. Existuje nějaký jazyk pro logické programování s disjunkcí (nejlépe nějaké rozšíření Prologu)? Pokud ano, co je sémantice "běžného" Prologu nejbližší? Není nutná podpora složených termů (ale je to nice to have).

[Reklama]

[Ivan Nový]

Mám prototyp logické databáze v Prologu, ale u některých pravidel potřebuju disjunkci v konsekventu. Existuje nějaký jazyk pro logické programování s disjunkcí (nejlépe nějaké rozšíření Prologu)? Pokud ano, co je sémantice "běžného" Prologu nejbližší? Není nutná podpora složených termů (ale je to nice to have).

Napište si ho sám pomocí MPS. Výsledný kód může běžet v Javě. https://www.jetbrains.com/mps/