Embedding Functional Logic Programming in Haskell via a Compiler Plugin.

Kai-Oliver Prott Finn Teegen Jan Christiansen

Published in: PADL (2023)

Keyphrases

logic programming
programming language
functional language
functional programming
general purpose
object oriented
nonmonotonic reasoning
deductive databases

logic programs
software engineering
answer set programming
high level
knowledge representation and reasoning
computational logic
constraint logic programming
logic programming language

default logic
classical logic
procedural semantics
stable models
knowledge representation language
probabilistic reasoning
answer sets
disjunctive logic programming

databases
pseudo boolean constraints
fuzzy linguistic
reasoning about actions
knowledge representation
relational databases
machine learning