search

Anniepoo / identity

A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management
Other
8 stars 1 forks source link

More efficient computing of property template #6

Closed pmoura closed 4 years ago

pmoura commented 4 years ago

This is costly:

https://github.com/Anniepoo/identity/blob/83a90ed939d06988ad2fd5e2c8b72d3bd0ccb2ca/prolog/identity/login_database.pl#L100-L103

Write instead:

functor(Property, Functor, Arity), 
functor(RetractProperty, Functor, Arity),