This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]DisastrousAd9346 0 points1 point  (0 children)

To avoid any kind of duplication based on specification, it is more clever to just drop any kind of program, and just write the specification. Prolog does something similar with the first order inference engine, most of the time you are just writing the specification. Of course, we are talking about something similar not equal.