P

prolog

[ES] Medir rompiendo: el colapso formal como instrumento de análisis. Caso de prueba: exégesis literal de Juan 17 (texto crudo de un pastor) vs. controles pulidos (IA estéril y paper académico). No medimos la fe; medimos dónde y cómo colapsan los lenguajes lógicos (Prolog, CLINGO, etc.) al intentar procesarla. El error es el dato; el estropicio es la métrica. Crítica a la fuerza bruta matricial termodinámicamente ruinosa. Proyecto de república_imperfecta-group.

[EN] Measuring by breaking: formal collapse as an analytical instrument. Test case: literal exegesis of John 17 (raw pastor text) vs. polished controls (sterile AI and academic paper). We do not measure faith; we measure where and how logical languages (Prolog, CLINGO, etc.) collapse when trying to process it. The error is the data; the mess is the metric. A critique of thermodynamically ruinous brute-force matrix computation. A república_imperfecta-group project.

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.