P

prolog

Assesses the possibility of using a rule-based defined test specification to generate test cases via Prolog

Project for the Master's course Functional and Logic Programming at the BUT FIT. This project is an implementation of Rubik's Cube solution in Prolog language. The program reads the input state of the cube from the standard input and returns the result to the standard output.

Project for the undergraduate course Fundamentals of Artificial Intelligence at BUT FIT. Creating predicates in Prolog to find the length of a list without negative numbers.

MST Prim algorithm using Common Lisp & Prolog

Prolog webserver example to query a Postgresql database for fact

Experimental implementation of a CSS3 lexer and parser generated almost entirely by ChatGPT (under human supervision).

A simple Prolog interpreter written in Haskell

Implementation of Martelli-Montanari algorithm in Prolog.

A Kotlin Multi-Platform ecosystem for symbolic AI

Sistema Experto de la Comunidad Canaima GNU/Linux Versión Beta 0.0.1

Code for BSc (Hons) Computer Science, University of Delhi

Tercer proyecto de la asignatura Sistemas Inteligentes de la ESEI (Universidad de Vigo) en el curso 2018-19.

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.

Prolog code solving the snake cube puzzle.

Seven Languages in Seven Weeks 🇰🇷 브루스 테이트의 세븐 랭귀지