Pagina's die verwijzen naar "Logisch programmeren"
De volgende pagina's verwijzen naar Logisch programmeren:
Er worden 23 items getoond.
- Programmeertaal (← koppelingen | bewerken)
- Prolog (← koppelingen | bewerken)
- Imperatief programmeren (← koppelingen | bewerken)
- Logische programmeertaal (← koppelingen | bewerken)
- Functioneel programmeren (← koppelingen | bewerken)
- Turingvolledigheid (← koppelingen | bewerken)
- PL/SQL (← koppelingen | bewerken)
- Deductieve logische programmeertaal (redirect) (← koppelingen | bewerken)
- Prova (programmeertaal) (← koppelingen | bewerken)
- Negatie als falen (← koppelingen | bewerken)
- SWI-Prolog (← koppelingen | bewerken)
- Clausule (logica) (← koppelingen | bewerken)
- Van Wijngaardengrammatica (← koppelingen | bewerken)
- Programmeerparadigma (← koppelingen | bewerken)
- Declaratieve taal (← koppelingen | bewerken)
- Horn-clausule (← koppelingen | bewerken)
- Curry (programmeertaal) (← koppelingen | bewerken)
- Aanname van een gesloten wereld (← koppelingen | bewerken)
- Regelgebaseerd systeem (← koppelingen | bewerken)
- PL/pgSQL (← koppelingen | bewerken)
- Curry–Howard-isomorfisme (← koppelingen | bewerken)
- Gebruiker:Klever/incubator (← koppelingen | bewerken)
- Portaal:Informatica (← koppelingen | bewerken)