3 ms·

Very impressive. Does anybody use Prolog scripting engine as part of their applications? For example, to write a solution lookup function for some specific pro

Very impressive. Does anybody use Prolog scripting engine as part of their applications? For example, to write a solution lookup function for some specific problem that would be a nightmare to solve otherwise. As a side note, I found that Lisp (the Scheme flavor) is essential in many applications. First of all, as a small and capable templating engine. Secondly, as a sophisticated NLP (natural language processing) engine.

tannhaeuser 8y ago
I've used ad-hoc test case generation using Prolog (MC/DC, all-permutations and other combinatorials) which is a quite natural application for Prolog. Around 2005 I've also used Prolog to generate Java code for analysing/monitoring business processes based on formal business process descriptions on a research project for a Telco who went all-in on SOA. As part of that, I also started to develop decision procedures for static type checking of XML-manipulating programs, along with validators for common markup meta-languages (XSD and subsets). Many years ago I've also developed custom file parsing/business rules checking using Prolog. Plus, a couple ad-hoc parsers and DSLs. And, having developed 2 1/2 prolog engines so far, I'm planning to include ISO Prolog in my upcoming document storage/search system based on SGML, where Prolog is an excellent match since it's both an ISO standard (like SGML), and even has a binding to a document query language based on ISO/IEC 13250 (eg. the proposed "tolog" language, though alternatives were proposed and an ISO/IEC 13250 query language was never completed as a standard).
jifu 8y ago
I wrote a simple date extractor (parsing stuff like "two days ago" from strings) for my hobby website project in prolog [0]. It was great fun to write, and prolog really shines in such applications. And running a prolog microservice in docker feels just a little perverse in a good way. :) [0] https://github.com/jvnn/date-extractor https://github.com/jvnn/date-extractor

tannhaeuser 8y ago

I've used ad-hoc test case generation using Prolog (MC/DC, all-permutations and other combinatorials) which is a quite natural application for Prolog. Around 2005 I've also used Prolog to generate Java code for analysing/monitoring business processes based on formal business process descriptions on a research project for a Telco who went all-in on SOA. As part of that, I also started to develop decision procedures for static type checking of XML-manipulating programs, along with validators for common markup meta-languages (XSD and subsets). Many years ago I've also developed custom file parsing/business rules checking using Prolog. Plus, a couple ad-hoc parsers and DSLs. And, having developed 2 1/2 prolog engines so far, I'm planning to include ISO Prolog in my upcoming document storage/search system based on SGML, where Prolog is an excellent match since it's both an ISO standard (like SGML), and even has a binding to a document query language based on ISO/IEC 13250 (eg. the proposed "tolog" language, though alternatives were proposed and an ISO/IEC 13250 query language was never completed as a standard).

jifu 8y ago

I wrote a simple date extractor (parsing stuff like "two days ago" from strings) for my hobby website project in prolog [0]. It was great fun to write, and prolog really shines in such applications. And running a prolog microservice in docker feels just a little perverse in a good way. :) [0] https://github.com/jvnn/date-extractor https://github.com/jvnn/date-extractor