gitlab.com topics: prolog
becheran/snake-cube-solver
Prolog code solving the snake cube puzzle.
Last synced at: about 3 years ago - Stars: 0 - Forks: 0
j2doll/seven-lang
Seven Languages in Seven Weeks :kr: 브루스 테이트의 세븐 랭귀지
Last synced at: about 3 years ago - Stars: 0 - Forks: 0
moonsbibble/Minimum-Spanning-Tree
Algoritmo MST Prim in Common Lisp e Prolog
Last synced at: over 1 year ago - Stars: 0 - Forks: 0
sudiptoghosh/ducscode
Code for BSc (Hons) Computer Science, University of Delhi
Last synced at: about 3 years ago - Stars: 0 - Forks: 0
EnricoCh/a-prolog-interpreter-written-in-haskell
A simple Prolog interpreter written in Haskell
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
test156789/tp_unification
Implementation of Martelli-Montanari algorithm in Prolog.
Last synced at: about 3 years ago - Stars: 0 - Forks: 0
pika-lab/tuprolog/2p-in-kotlin
A Kotlin Multi-Platform ecosystem for symbolic AI
Last synced at: about 3 years ago - Stars: 8 - Forks: 8
Alexis98/sistema-experto
Sistema Experto de la Comunidad Canaima GNU/Linux Versión Beta 0.0.1
Last synced at: about 3 years ago - Stars: 1 - Forks: 0
araujo_ady/conecta-cuatro
Tercer proyecto de la asignatura Sistemas Inteligentes de la ESEI (Universidad de Vigo) en el curso 2018-19.
Last synced at: about 3 years ago - Stars: 0 - Forks: 0
araujo_ady/cuatro-en-raya
Segundo proyecto de la asignatura Sistemas Inteligentes de la ESEI (Universidad de Vigo) en el curso 2018-19. Agente lógico AgentSpeak (Jason) para jugar al cuatro en raya sobre tablero.
Last synced at: about 3 years ago - Stars: 0 - Forks: 0
Julipan/Pengines
Code for my Master's Thesis project on Pengines
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
filipesaraiva/ratosql
RAtoSQL (Relational Algebra to SQL) converts expressions from relational algebra to SQL commands.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0