For academic purposes, you may want to have a look at the Task Planning and Decision Language (TP/DL) specs, in the PROC component. The DL part is emerging, so it’s more to look at where we are going in the future. You might find this discussion useful.
GDL is established and deployed, has tools etc, so for doing any real implementations, I’d use that.