🇧🇷 Made in Brazil

Discover Brazil's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Brazil.

TOP Prolog Projects

1
agodinhost/KiCad

agodinhost/KiCad

Open Source KiCad Project Files
Prolog
12
star
2
bakaq/constrained.pl

bakaq/constrained.pl

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
Prolog
8
star
3
AndreaInfUFSM/elc117-2020a

AndreaInfUFSM/elc117-2020a

ELC117 - Paradigmas de Programação - UFSM - 2020a
Prolog
7
star
4
zambonin/functional-logic

zambonin/functional-logic

No Mercury here, just small utilities in Haskell and Prolog.
Prolog
7
star
5
AndreaInfUFSM/elc117-2021a

AndreaInfUFSM/elc117-2021a

ELC117 - Paradigmas de Programação - UFSM - 2021a
Prolog
6
star
6
brunocampos01/prolog-language

brunocampos01/prolog-language

Aulas e exercícios de PROLOG, vista nas matérias: Paradigmas da computação e Sistemas inteligentes
Prolog
5
star
7
PauloHFS/estoque-console-app

PauloHFS/estoque-console-app

Esta é uma aplicação proposta como projeto da disciplina de Paradigmas de Linguagens de Programação.
Prolog
5
star
8
lubien/ufpa-ai-2017

lubien/ufpa-ai-2017

Code from my AI class at UFPA with Eloi Favero
Prolog
4
star
9
diego-aquino/flap-plp

diego-aquino/flap-plp

🐦 Flappy Bird on terminal
Prolog
4
star
10
Tamandutech/MiniSumo

Tamandutech/MiniSumo

This repo is about our minisumo project.
Prolog
4
star
11
maikpaixao/intelligent-chatbot-prolog

maikpaixao/intelligent-chatbot-prolog

The application developed is a chatbot that simulates a presidential candidate. The chatbot is written in Prolog and aims to show the power of the language for use in AI
Prolog
4
star
12
LR-POR/BrGram

LR-POR/BrGram

Computational grammar fragment of Brazilian Portuguese in the LFG formalism implemented in XLE
Prolog
4
star
13
mrcaique/ufsc-ine5416

mrcaique/ufsc-ine5416

Programming paradigms, second semester of 2015
Prolog
4
star
14
AndreaInfUFSM/elc117-2022a

AndreaInfUFSM/elc117-2022a

ELC117 - Paradigmas de Programação - UFSM - 2022a
Prolog
4
star
15
this-rafael/E-Logico

this-rafael/E-Logico

Prolog
3
star
16
isaac-oliveira/Prolog

isaac-oliveira/Prolog

Exercício Lógica para computação
Prolog
3
star
17
mirllamarques/Deep-Web-HacktoberFest-2022

mirllamarques/Deep-Web-HacktoberFest-2022

Prolog
3
star
18
abaffa/INF1771

abaffa/INF1771

Material para a Disciplina PUC-Rio (INF1771) Inteligência Artificial
Prolog
3
star
19
garoa/KiCAD_LED_Controller_Example

garoa/KiCAD_LED_Controller_Example

Prolog
3
star
20
fabiofernandes07/PcBiulder-Prolog

fabiofernandes07/PcBiulder-Prolog

Projeto feito na disciplina de logica aplicada à computação aonde é gerado varias séries de combinações de acordo com características passadas
Prolog
3
star
21
luci18530/Sistema-Solar---Prolog

luci18530/Sistema-Solar---Prolog

Projeto de Logica Aplicada a Computação Grupo : Lucas Issac, Luciano Pereira e Vidal Elias
Prolog
3
star
22
pedroter7/STU-Prolog

pedroter7/STU-Prolog

Prolog
2
star
23
guilhermehalvescode/PROLOG

guilhermehalvescode/PROLOG

Estudo sobre a linguagem PROLOG
Prolog
2
star
24
murillo94/covid19-expert-system

murillo94/covid19-expert-system

Prolog
2
star
25
ramnaq/enthusiastic

ramnaq/enthusiastic

Learning different languages and paradigms from zero (Haskell, Prolog, Lisp, Python).
Prolog
2
star
26
lorenaleao/learning-prolog

lorenaleao/learning-prolog

I'm taking Logic Programming this semester at UFMG. These are the files produced while studying for it.
Prolog
2
star
27
MeLLL-UFF/TransBoostler

MeLLL-UFF/TransBoostler

Word embeddings for Transfer Learning using Relational Dependency Networks
Prolog
2
star
28
jprodrigues70/mata56

jprodrigues70/mata56

Repositório para os trabalhas de MATA56 - Paradigmas de Linguagens de Programação (UFBA)
Prolog
2
star
29
ruifernandees/logica-com-prolog

ruifernandees/logica-com-prolog

Prolog
2
star
30
IonesioJunior/Programming-Paradigms

IonesioJunior/Programming-Paradigms

Exercises of Programming language paradigms class
Prolog
2
star
31
lohhans/MinesweeperProlog

lohhans/MinesweeperProlog

Campo Minado feito em Prolog para a disciplina de PLP
Prolog
2
star
32
leandrosilva3/Teste-De-Paternidade-Em-Prolog

leandrosilva3/Teste-De-Paternidade-Em-Prolog

Trabalho da cadeira de linguagens de programação escrito na linguagem lógica Prolog. (English: Course work in programming languages ​​written in the logic language Prolog).
Prolog
2
star
33
marcoswitcel/99-prolog-problems

marcoswitcel/99-prolog-problems

Repositório com soluções em Prolog para o conjunto de problemas conhecidos como "P-99: Ninety-Nine Prolog Problems"
Prolog
2
star
34
felipesanches/Pinball-Controller

felipesanches/Pinball-Controller

Controller Board for a Pinball Machine
Prolog
2
star
35
PET-SI-UFU/Materias

PET-SI-UFU/Materias

Repositório dedicado a guardar materiais pertinentes a todas as matérias da grade curricular do curso BSI
Prolog
2
star
36
CassioKruger/PDD-pure

CassioKruger/PDD-pure

Pseudo Direct Drive finite element model, simulated with GMSH and GetDP.
Prolog
2
star
37
vitorbarbosa123/who-am-i

vitorbarbosa123/who-am-i

Prolog
2
star
38
tulioac/fifteenPuzzle

tulioac/fifteenPuzzle

Fifteen Puzzle Game
Prolog
2
star
39
thalissondev-xx/reegex-prolog

thalissondev-xx/reegex-prolog

Recognition of boolean expressions
Prolog
2
star
40
fatecsp/aristotle

fatecsp/aristotle

Git repository for Aristotle - Computational Argumentation software
Prolog
2
star
41
felipedmsantos95/ia-ufam

felipedmsantos95/ia-ufam

Atividades feitas na disciplina de Inteligência Artificial na UFAM no período 2018/1
Prolog
2
star
42
pgmodeler/revengplugin

pgmodeler/revengplugin

pgModeler's reverse engineering plugin repository.
Prolog
2
star
43
pedrohos/plp-BatalhaNaval

pedrohos/plp-BatalhaNaval

Prolog
1
star
44
vinilins/Projetos-PLP

vinilins/Projetos-PLP

Projetos em Haskell e Prolog da disciplina de Paradigmas de Linguagem de Programação
Prolog
1
star
45
anajvelasque/Prolog-TP4-LLP

anajvelasque/Prolog-TP4-LLP

Trabalho 4 da disciplina de Laboratório de Linguagens de Programação sobre Prolog.
Prolog
1
star
46
pedrohsampaioo/IA_test

pedrohsampaioo/IA_test

Implementation of Eistein test and Mundo Wumpus on Prolog. 🤖
Prolog
1
star
47
yuriaugustc/prolog

yuriaugustc/prolog

Repositório dedicado às atividades de entrega da disciplina de Programação Lógica (prolog)
Prolog
1
star
48
joaoabrantesuchoa/gummy-reminder

joaoabrantesuchoa/gummy-reminder

Projeto para a disciplina de Paradigmas de programação da UFCG 2020.1
Prolog
1
star
49
PauloHFS/plp-prolog

PauloHFS/plp-prolog

Repositório de exercicios resolvidos durante a disciplina de Paradigmas de Linguagem de Programação utilizando Prolog.
Prolog
1
star
50
ErFer7/INE5416-T4

ErFer7/INE5416-T4

Trabalho final da disciplina Paradigmas de Programação (INE5416) da UFSC.
Prolog
1
star
51
JPQuadrado/Prolog

JPQuadrado/Prolog

Exercicios da materia Programação Lógica feitos ao longo do semestre
Prolog
1
star
52
RhianFelipe/prolog

RhianFelipe/prolog

Aprendizado em prolog
Prolog
1
star
53
gabrielzschmitz/BessyAdventure

gabrielzschmitz/BessyAdventure

Game made as a college project in prolog
Prolog
1
star
54
staubjoao/trabalho_prolog

staubjoao/trabalho_prolog

Prolog
1
star
55
Brumassio/trab_prolog

Brumassio/trab_prolog

Prolog
1
star
56
DRKn1ght/EdgeMatchingPuzzle

DRKn1ght/EdgeMatchingPuzzle

Prolog
1
star
57
danieldiv/chatbot

danieldiv/chatbot

Prolog
1
star
58
felipedelcampo/GCLINPROLOG

felipedelcampo/GCLINPROLOG

Compilador de GCL escrito em PROLOG
Prolog
1
star
59
HumbertoCG18/Logica-Para-Computacao

HumbertoCG18/Logica-Para-Computacao

Prolog
1
star
60
atoji/ep1-prolog

atoji/ep1-prolog

Analisador léxico, sintático e semântico
Prolog
1
star
61
raphaelframos/Monografia

raphaelframos/Monografia

Reconhecimento de Voz
Prolog
1
star
62
GabrielDiniz/CaminhoPerigoso

GabrielDiniz/CaminhoPerigoso

Trabalho de Inteligencia Artificial
Prolog
1
star
63
tccosta/Monografia

tccosta/Monografia

Prolog
1
star
64
rengenesio/8-puzzle

rengenesio/8-puzzle

Prolog 8-puzzle solver (using A* search algorithm)
Prolog
1
star
65
limadm/line-follower-robot

limadm/line-follower-robot

10x10cm robot car board.
Prolog
1
star
66
zidenis/MapColoring-Prolog

zidenis/MapColoring-Prolog

The classic Map Coloring Problem resolved using Prolog
Prolog
1
star
67
edgareler/prolog-experiments

edgareler/prolog-experiments

Prolog experiments developed at an AI class
Prolog
1
star
68
Rafaelaniemann/bcal-lidar-tools

Rafaelaniemann/bcal-lidar-tools

Automatically exported from code.google.com/p/bcal-lidar-tools
Prolog
1
star
69
GabrielCzar/Logic_programming

GabrielCzar/Logic_programming

Exercises using logic language
Prolog
1
star
70
ceciliacsilva/robot-prolog

ceciliacsilva/robot-prolog

Cinemática direta e inversa - Prolog
Prolog
1
star
71
rodrigoazs/rule_learning_experiment

rodrigoazs/rule_learning_experiment

Generated files to reproduce SLIPCOVER and ProbFOIL experimentation with NELL, WebKB datasets
Prolog
1
star
72
AndersonSM/Projeto-APLP

AndersonSM/Projeto-APLP

Prolog
1
star
73
cesarconterno/prolog

cesarconterno/prolog

some programs made in prolog
Prolog
1
star
74
tecnobeto/studing-prolog

tecnobeto/studing-prolog

This repository was created to put my exercises of prolog
Prolog
1
star
75
tovoando/expertsystem

tovoando/expertsystem

An Expert System Made in Prolog
Prolog
1
star
76
mcsalgado/gb

mcsalgado/gb

Prolog
1
star
77
rafaellehmkuhl/Placas-Bancada-Mitica

rafaellehmkuhl/Placas-Bancada-Mitica

This repository contains the schematic, board and gerber files for the boards used in Bancada Mitica project. All boards were designed in Eagle 8 and exported with Eagle 6.
Prolog
1
star
78
wallacebaleroni/Prolog-Top

wallacebaleroni/Prolog-Top

Prolog
1
star
79
saraiva3/Crypto-Solver

saraiva3/Crypto-Solver

A solver for the crypto puzzle
Prolog
1
star
80
AugustoCalaca/prolog

AugustoCalaca/prolog

Prolog
1
star
81
MRLSK8/LPA2_Prolog

MRLSK8/LPA2_Prolog

Exercícios resolvidos em prolog para a disciplina "LPA 2".
Prolog
1
star
82
arnaldojr/PJCarlos

arnaldojr/PJCarlos

livro Circuitos eletroeletrônicos: Fundamentos e desenvolvimento de projetos lógicos
Prolog
1
star
83
Galtvam/projeto-logica

Galtvam/projeto-logica

Projeto da disciplina lógica para computação - IF972
Prolog
1
star
84
CassioKruger/PDD1

CassioKruger/PDD1

Pseudo Direct Drive model, coupled to a electric generator
Prolog
1
star
85
andre-filho/paradigmas-trabalho-2

andre-filho/paradigmas-trabalho-2

Prolog
1
star
86
gabelopes/prolog-java-parser

gabelopes/prolog-java-parser

Java Parser written in Prolog using DCGs
Prolog
1
star
87
DaanMoura/aadp

DaanMoura/aadp

Agente Aspirador de Pó - Projeto 1 de Inteligência Artificial
Prolog
1
star
88
alanrslima/2019.2-PP

alanrslima/2019.2-PP

Repositório destinado a matéria de Fundamentos de Paradigmas de Programação (UnB)
Prolog
1
star
89
VictorPozzan/Sistema-Especialista-D-D-5-Class

VictorPozzan/Sistema-Especialista-D-D-5-Class

Specialist System that returns what character class should you play in D&D 5ª edition
Prolog
1
star
90
ggteixeira/nlp-8

ggteixeira/nlp-8

A Natural Language Processing course's files and solved exercises.
Prolog
1
star
91
mdqueiroz1/InteligenciaArtificial

mdqueiroz1/InteligenciaArtificial

Exercicios propostos na matéria de Inteligencia Virtual pela Universidade Federal de Viçosa
Prolog
1
star
92
ezequielpilcsuk/Prolog

ezequielpilcsuk/Prolog

Prolog
1
star
93
wyctorfogos/PonteH-CI

wyctorfogos/PonteH-CI

Projeto de CI no Eagle do circuito Ponte H
Prolog
1
star
94
igoraltvidal/Book_Recommendation_System

igoraltvidal/Book_Recommendation_System

A book recommendation system developed with SWI-Prolog.
Prolog
1
star
95
RodrigoEC/Aloka

RodrigoEC/Aloka

Projeto criado durante da disciplina de Paradigmas de Linguagens de Programação 2020.1 na UFCG para fixar os conhecimentos de LPs funcionais utilizando Haskell
Prolog
1
star
96
mixmaxze/sistema-controle-vacinas

mixmaxze/sistema-controle-vacinas

Sistema para controle de vacinas de um posto de vacinação
Prolog
1
star
97
patriani/I.A._Popeye

patriani/I.A._Popeye

Projeto da disciplina IA
Prolog
1
star
98
brunocalza/99problems

brunocalza/99problems

Prolog
1
star
99
VictorHugoMA/Trabalho_Prolog

VictorHugoMA/Trabalho_Prolog

Grupo: Victor Hugo Martins Alves, Pedro Henrique Silva Santana, Guilherme Rafael Cerqueira Dias, Henrique Corrêa De Oliveira
Prolog
1
star
100
parisivitor/NRainhas

parisivitor/NRainhas

Prolog
1
star