LispWorks Prolog can use Prolog syntax inside Lisp:

    $ lispworks

    LispWorks(R): The Common Lisp Programming Environment
    Copyright (C) 1987-2014 LispWorks Ltd.  All rights reserved.
    Version 7.0.0

    CL-USER 1 > (require "prolog")
    T

    CL-USER 2 > (in-package "CP-USER")
    #<The CP-USER package, 0/16 internal, 0/16 external>

    CP-USER 3 > (erqp)

    ?- consult(appenda).
    YES.
    OK.

    ?- appenda([1,2,3],[14,15,16],L1).

    L1 = [1,2,3,14,15,16]

    OK.