[logicprog]

It's pretty commonly used in my experience, but that might just be the types of books I read perhaps.