logic programming

programming paradigm based on formal logic

Катэгорыі: