Joined July 2020
11 Photos and videos
Pinned Tweet
29 Oct 2020
Considering Prolog for a project? We're happy to do a video meeting to help you with that. Drop us a line.
5
13
SWI_Prolog retweeted
3 Jul 2022
On average, 97% of Haskell users are happy with their decision to use Haskell. Only ~3% experience some form of regret, and the most prevalent reasons cited for detransitioning are employment issues and peer pressure
16
43
637
SWI_Prolog retweeted
I moved the URL of my @SwiProlog_ notes a while back to seatavern.co.za/ and forgot to update the tweet above.

1
2
SWI_Prolog retweeted
15 Apr 2022
I've released an alpha version of @SWI_Prolog 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
1
3
9
20 Apr 2022
Great way to interact with @SwiProlog_ from Go!
17 Apr 2022
Just released v0.1.0 of my pengines client for Go! You can now do RPC directly from @1ban's Go prolog interpreter to a remote @SwiProlog_ ๐Ÿ˜Ž github.com/guregu/pengine#rpโ€ฆ #prolog #golang
1
5
SWI_Prolog retweeted
11 Apr 2022
CSS is a Prolog
3
6
16
SWI_Prolog retweeted
12 Feb 2022
New stable release! This uses Alien::SWIProlog to find / setup a working @SwiProlog_. It should work on Linux/Windows/macOS and Perls w/ and w/o threads.
12 Feb 2022
Language-Prolog-Yaswi-0.23 by ZMUGHAL metacpan.org/release/ZMUGHALโ€ฆ
1
2
1
SWI_Prolog retweeted
Unsatisfied with my #Prolog code: I need an additional explanation about data structured used. This should not be necessary, names and selection of variables and predicates should and could describe the data structures directly. Hm.
3
1
7
SWI_Prolog retweeted
Check out @SwiProlog_ 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

2
15
SWI_Prolog retweeted
Diving into historical perspective for dissertation context... Found this gem from 1979 john.cs.olemiss.edu/~dwilkinโ€ฆ! Again I find the recurring mention of default values and defeasible logic as an important feature of software modelling the real world.
1
5
5
SWI_Prolog retweeted
Replying to @NoraDotCodes
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.
1
1
3
Wow! None other than Jan W from @SWI_Prolog is writing a port of sCASP from ciao to @SwiProlog_! 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/sCAโ€ฆ
1
5
25 Aug 2021
Alain Colmerauer's widow is fund raising for a small film about his life. It's an exciting project and we're happily supporting. ulule.com/documentaire-alainโ€ฆ
8
15
SWI_Prolog retweeted
Question: do you have suggestions for a computational geometry book (German or English)? Application would be computer graphics #CG #CAD , but I also seeking for more insight in #geometry in general. #followerpower retweet would be very nice ๐Ÿ˜€
1
1
2
18 Aug 2021
if you're at @BornHax come by the @SwiProlog_ tent tomorrow
1
18 Aug 2021
(Annie says we're doing lego house part of day)
1
15 Aug 2021
Join Us @BornHax ! There's going to be a SWI-Prolog village.
1
SWI_Prolog retweeted
5 Aug 2021
Replying to @rickasaurus
All the people that love coding love writing too much code. All the people that believe you have to work hard to be a good coder love working too hard
3
4
Is there a linguist in the audience?
2
SWI_Prolog retweeted
Replying to @LKGGlass
@LKGGlass Managed to run the #lgp demos. Nice ๐Ÿ‘ Itโ€™s so simple with @SwiProlog_ to get a local Webserver running and customised. Now development of own examples can start ๐Ÿ˜Ž
1
1
SWI_Prolog retweeted
30 Sep 2020
[๐€๐ˆ ๐†๐ฅ๐จ๐ฌ๐ฌ๐š๐ซ๐ฒ] Level up your Virtual Assistant vocabulary: Learn about Logic Programming - bit.ly/36qkjRf #LogicProgramming #BotDevelopment #Chatbots #VirtualAssistant #EmergingTech #Innovation
2
2
2