ktp-forked-repos Goto Github PK
Type: Organization
ktp-forked-repos's Projects
prolog-logic-example
Example of Constraint Logic Programming with Prolog - an experiment on Artificial Intelligence
prolog-ludumdare44
Ludum Dare 44 entry
prolog-markdown
Markdown parser for SWI-Prolog.
prolog-monty-python
Demo of the Monty Python witch scene with Prolog
prolog-programs
Various SWI-Prolog programs
prolog-programs-1
This repository contains several recursion based prolog programs. To run thiese programs download and intall swi-prolog.
prolog-rands
random stuff in prolog
prolog-sudoku
A simple sudoku solver written in SWI-Prolog
prolog-swi-form
Przykład obsługi formy z użyciem SWI-Prologu jako serwera HTTP.
prolog-utils
Materiale ausiliario ed esercitazioni di Prolog
prolog-viz
The best Prolog visualizer
prolog_code
Hopefully organized Prolog code
prolog_course
Course materials for a Prolog course
prolog_crossings
This is a variation of the classic farmer-wolf-goat-cabbage puzzle. We have added another item (a bag of fertilizer) and a number of other features.
prolog_formulas
This exercise requires you to write Prolog programs to analyse representations of formulas in propositional logic. Propositional formulas will be represented by one of the following: p, q, r, etc. represent propositional atoms p, q, r, etc. neg(X) represents ¬(X) and(X,Y) represents (X ^ Y ) or(X,Y) represents (X _ Y ) imp(X,Y) represents (X ! Y )
prolog_frog
The aim of this exercise is to give you an introduction to the basics of the Sicstus clpfd library for CLP(FD). You will write a CLP(FD) program to solve a puzzle, and then compare it to a pure Prolog program for the same task. The puzzle involves arranging nine cards, so that the coloured frogs printed on them all line up with one another. You are provided with a sketch of a CLP(FD) solution. The puzzle and the solution were provided by Frank Kriwaczek.
prolog_individual_task
Индивидуальное задание по SWI-Prolog
prolog_library_collection
A collection of Prolog libraries.
prolog_library_ideas
Random ideas about libraries for Prolog
prolog_notes
Some notes taken while working on Prolog
prolog_problems
Ninety-Nine Prolog Problems
prologclass
code and experiments from SWI-Prolog's #PrologClass
prologcodebase
Getting started with logic programming in Prolog. Simple assignments for beginners. Read more about prolog here: http://www.swi-prolog.org/
prologdcg
Playing with DCG in Prolog
prologkb-prototype
A knowledge base management prototype using a Visual Studio C++ UI linked with Prolog using SWI-Prolog. VIsual Studio and SWI-Prolog required.
prologlearningalg
Machine Learning Algorithms Implemented in Prolog, From http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/learning/systems/learn_pl/0.html. Many of these don't work in swi-pl yet.
prologpuzzle
Solution of Arrow Puzzle on SWI Prolog
prologtutorials
Prolog Tutorials and Information
prologue-logic-puzzle
Solve a given logic puzzle using SWI-Prolog
prologunit
Module permettant de réaliser des tests unitaires en Prolog (SWI-Prolog)
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- 115
- 116
- 117
- 118
- 119
- 120
- 121
- 122
- 123
- 124
- 125
- 126
- 127
- 128
- 129
- 130
- 131
- 132
- 133
- 134
- 135
- 136
- 137
- 138
- 139
- 140
- 141
- 142
- 143
- 144
- 145
- 146
- 147
- 148
- 149
- 150
- 151
- 152
- 153
- 154
- 155
- 156
- 157
- 158
- 159
- 160
- 161
- 162
- 163
- 164
- 165
- 166
- 167
- 168
- 169
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.