Gavin Mendel GleasonBuilding a Logic Programming EcosystemWhile the functional programming community has had a big influence on the design of new languages and language libraries, the logic…May 1, 20203May 1, 20203
Gavin Mendel GleasoninTerminusDB CommunityType and mode checking in prolog (part 2): mavisAs we discussed in Part 1 of this short series on types in prolog, prolog has a rather graceful but silent method of reacting to a certain…Aug 8, 2019Aug 8, 2019
Gavin Mendel GleasoninTerminusDB CommunityProlog meta-interpretation for syntax checkingProlog is a fantastic toolkit for developing Domain Specific Languages (DSLs). Lexing and parsing are a breeze with the use of Declarative…Jun 11, 20191Jun 11, 20191
Gavin Mendel GleasoninTerminusDB CommunityType and mode checking in prolog (part 1): type_checkWhen it comes to languages for rule processing, prolog has them all beat. It has so many exciting features that make it incredibly…Jun 7, 2019Jun 7, 2019