s

solve-streams-js

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle
https://github.com/tuProlog/2p-kt
Apache-2.0
Jason Dellaluce Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Manuel Bonarrigo Davide Greco Sofia Montebugnoli Paolo Verdini Lorenzo Rizzato Jason Dellaluce Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Manuel Bonarrigo Davide Greco Sofia Montebugnoli Paolo Verdini Lorenzo Rizzato
based functional principle sldnf implementation experimental resolution programming prolog
Aggregated version Version Update time
1.0 1.0.3 May 10, 2024
1.0.2 May 05, 2024
1.0.1 Apr 07, 2024
1.0.0 Mar 30, 2024
0.32 0.32.5 Mar 24, 2024
0.32.4 Mar 24, 2024
0.32.3 Mar 24, 2024
0.32.2 Mar 23, 2024
0.32.1 Feb 09, 2024
0.32.0 Jan 03, 2024
0.31 0.31.21 Dec 24, 2023
0.31.20 Dec 23, 2023
0.31.19 Dec 09, 2023
0.31.18 Oct 24, 2023
0.31.17 Oct 23, 2023
0.31.16 Oct 13, 2023
0.31.15 Sep 15, 2023
0.31.14 Sep 13, 2023
0.31.13 Aug 25, 2023
0.31.12 Aug 19, 2023
0.31.11 Jul 19, 2023
0.31.10 Jul 13, 2023
0.31.9 Jul 08, 2023
0.31.8 Jul 08, 2023
0.31.7 Jul 08, 2023
0.31.5-dev0m+0c07eb350 Jul 07, 2023
0.31.5-dev0f+5a2ad7593 Jun 20, 2023
0.31.5-dev0c+d53549ad7 Jun 20, 2023
0.31.5-dev02+b65f8712e May 04, 2023
0.31.5-dev01+75e0f28ea May 01, 2023
0.31.5 Apr 30, 2023
0.31.4-dev01+3caf83203 Apr 30, 2023
0.31.4 Apr 30, 2023
0.31.3 Apr 19, 2023
0.31.2 Apr 19, 2023
0.31.1-dev02+0cd8a1ae6 Feb 15, 2023
0.31.1-dev01+f8b39929b Feb 15, 2023
0.31.1 Feb 15, 2023
0.31.0 Feb 13, 2023
0.30 0.30.5 Feb 01, 2023
107 Records