SWI_Prolog
@swiprolog_
Official account for SWI_Prolog, replacement for @ SWI_Prolog
swi-prolog.org
ID: 1282982928440532993
http://swi-prolog.org 14-07-2020 10:19:16
541 Tweet
636 Takipรงi
151 Takip Edilen
Looking Glass Managed to run the #lgp demos. Nice ๐ Itโs so simple with SWI_Prolog to get a local Webserver running and customised. Now development of own examples can start ๐
Wow! None other than Jan W from SWI-Prolog official account is writing a port of sCASP from ciao to SWI_Prolog! He is presenting at the GDEASP Workshop on the 20th. Very good news that the logic programming community are on board with something so useful for #RulesAsCode github.com/JanWielemaker/โฆ
nora tindall ๐ @ziphnor I wrote a design generator for a radar processing circuit in PROLOG, it output an AST that could be converted to any number of FPGA, sim or hardware compiler languages.
Check out SWI_Prolog inside Clojure LISP! It's looking like a pairing as fine as fish and chips, or pie and peas, or tea and biscuits. Now I just need an excuse to try it out! youtu.be/_8z1r8KV9uk
New stable release! This uses Alien::SWIProlog to find / setup a working SWI_Prolog. It should work on Linux/Windows/macOS and Perls w/ and w/o threads.
I've released an alpha version of SWI-Prolog official account pengines (remote Prolog queries) integration for Go๐ค github.com/guregu/pengine I'll be playing around with it this weekend. Gladly accepting API feedback. It's still rough and missing a few features. #Golang โค #Prolog
Great way to interact with SWI_Prolog from Go!
I moved the URL of my SWI_Prolog notes a while back to seatavern.co.za and forgot to update the tweet above.