Fixed-Point Logic

tags
Logic Programming

"Fixed-point" logics include extensions to predicate logic that can be used to express recursion.

Notes that link to this note