Sign In
Sign Up
Proving termination properties of PROLOG programs
Marianne Baudinet
-
/
5
0 votes
Semantics
Artificial Intelligence
Prolog (Computer Program Language)
Human Resource Machine
3.8
53 votes
RollerCoaster Tycoon
4.1
195 votes
Deliver Us the Moon
3.9
70 votes
The Turing Test
3.7
112 votes
RollerCoaster Tycoon 2
3.6
148 votes
NBA Jam
3.7
72 votes
RollerCoaster Tycoon 3
3.9
109 votes
Ruiner
3.8
119 votes
Planet Coaster
4.1
108 votes
Stronghold 2
3.6
58 votes
SSX Tricky
4.4
63 votes
Battle Chess
3.6
51 votes
Baba is You
4.0
157 votes
Vigilante 8
2.8
56 votes
Galaxian
4.3
66 votes
Bomberman 64
3.5
58 votes
Fire Emblem: The Sacred Stones
4.2
120 votes
Black & White 2
3.7
66 votes
Brothers in Arms: Earned in Blood
3.6
64 votes
Galaga
3.6
108 votes
Halo Wars
3.6
138 votes
The Sims 3
4.1
552 votes
Mario Party
3.8
153 votes
Pikmin 2
4.4
97 votes
Warcraft: Orcs & Humans
3.9
143 votes
Jak and Daxter: The Precursor Legacy
4.3
271 votes
The Fall
3.9
52 votes
Syphon Filter 2
4.0
74 votes
Amnesia: The Dark Descent
4.2
448 votes
Twisted Metal
3.7
59 votes
Star Wars: Rogue Squadron
3.9
106 votes
System Shock
4.6
72 votes
Sly Cooper and the Thievius Raccoonus
4.0
153 votes
Dragon Ball Z: Sagas
2.4
50 votes
Colin McRae: Dirt
4.0
95 votes
Aliens versus Predator 2
4.1
79 votes
Brothers in Arms: Road to Hill 30
4.1
84 votes
Syndicate
3.8
58 votes
Jak 3
3.6
172 votes
Bound By Flame
3.0
51 votes
Payday: The Heist
3.6
134 votes
Tomb Raider: The Angel of Darkness
3.1
106 votes
Persona 4 Arena
4.0
51 votes
Prince of Persia: The Forgotten Sands
3.7
225 votes
Medal of Honor: Pacific Assault
4.0
150 votes
Need for Speed: World
3.3
77 votes
Portal 2
4.6
4K votes
Command & Conquer: Red Alert
4.3
308 votes