Skip to content
aidb
l

logic programming

Programming paradigm based on formal logic

Also known as use logic programming