8LOGIC PROGRAMMING
Logic programming derives its roots from the discipline of formal logic. It’s a declarative programming style that focuses on what needs to be done, rather than how it is to be done. The most well-known programming language in this arena is Prolog (see [5]). The great strength of Prolog, and logic programming, in general is that it provides a platform to express and solve certain types of problems (typically involving some type of search) in a natural and fluid way. The disadvantage is that for other types of problems, logic programming can be very inefficient.
The good news is that Racket allows you to have the best of both ...
Get Racket Programming the Fun Way now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
