SWI-Prolog Main development repository

Sikraken: A Test Suites Generator for C Code

A compact, efficient Prolog interpreter written in plain-old C.

ALS Prolog Compiler & Development Environment

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

Arsip Praktikum Teknik Informatika ITB 23

Introduction to Programming Languages

A doxygen filter to use with Prolog

Projects from my Bachelor's Degree in Engineering and Computer Science

Projects carried out for the university: UTN-FRD. I used Pascal, Wollok, Haskell, Prolog, Python and C.

University Projects

This repository serves as a centralized hub for organizing and showcasing my university coursework.

BTECH Courses semwise

My unofficial picat http://picat-lang.org/ repository

A symbolic execution engine in Prolog for C

During a challenging journey through knowledge, I built this shrine that can help some lost souls find light in some subject.

BIT 4th Semester Artificial Intelligence Practical Lab Assignments

Prolog inspired programming language

Collection of all projects done up to date in Computer Science and Engineering at the UC3M