Unification of simply-typed λ-terms as logic programming

By Dale Miller, from ICLP 1991, available from CiteSeer X:

The unification of simply typed λ-terms modulo the rules of β- and η-conversions is often called “higher-order” unification because of the possible presence of variables of functional type. This kind of unification is undecidable in general and if unifiers exist, most general unifiers may not exist. In this paper, we show that such unification problems can be coded as a query of the logic programming language Lλ in a natural and clear fashion. In a sense, the translation only involves explicitly axiomatizing in Lλ the notions of equality and substitution of the simply
typed λ-calculus: the rest of the unification process can be viewed as simply an interpreter of Lλ searching for proofs using those axioms.

21 Responses to “Unification of simply-typed λ-terms as logic programming”

  1. 1 aetna dental September 13, 2012 at 4:53 am

    Hi there! Do you know if they make any plugins to assist with SEO?
    I’m trying to get my blog to rank for some targeted keywords but I’m not seeing very good success.

    If you know of any please share. Many thanks!

  2. 2 small loan April 20, 2013 at 4:14 pm

    Seven Surefire Approaches To Mend Poor Credit
    Use the web to get started your buying. Basically punch Army Loans into your browser and you will be rewarded with lots of lenders who could be keen to lend revenue to you.
    You will even come across brokers who will get your standard money
    problem and then occur up with a listing of loan providers most very likely to
    approve your bank loan.
    Not precisely small loan.college student financial loans, Stafford faculty loans are more or significantly less no credit score
    financial loans. Until you formerly defaulted on a federal college student personal loan,
    you can qualify for this scholar loan, even with lousy credit history.
    The only prerequisite for a Stafford student mortgage
    is a accomplished FAFSA. Even if you do not qualify based mostly on want, you can continue to qualify for a Stafford personal loan.

    It is a distinct tale for terrible credit rating borrowers, who eventually come across securing mortgage loan approval more challenging
    to obtain. But, although it is more durable, it is by no means impossible.
    There are lenders eager to take the increased possibility,
    if the applicant is prepared to settle for some compromises.

    On line lenders are perfect for undesirable credit history debtors, since their offers are tailored to meet up with their wants.
    So, because traditional mortgage loan suppliers will spot a variety
    of circumstances on any agreement, securing personal loan acceptance is more likely with the on the internet alternative.

    The require for a dollars injection can turn into acute when as the weight of financial debt
    builds up. Finding a remedy speedy is significant, but
    so way too is obtaining a constructive resolution that will not go away the borrower
    in further monetary difficulties. This is why it is important to
    cautiously select the proper personal loan supply when searching for unsecured loans with negative credit.

    Buyers with poor credit history are faced with this lease alternative obstacle since
    they are not able to just go out and finance home furnishings on a credit history card
    like a lot of buyers do. The cost of a lease purchase or rental buy selection is incredibly large comparative to the
    price tag of funding household furniture via a standard financing business.

    When a man or woman has a reduced credit history score or
    a negative credit historical past, he/she could be regarded
    as not deserving of credit score which need to not be the scenario.
    Some of these persons are truly responsible folks who have both built a
    erroneous determination in the past or encountered unpredicted occasions or conditions that have
    gotten out of their command which triggered their
    poor credit rating rankings.
    So, if you have to have a personal loan for limited time period
    then poor Credit history Military services payday loans are the best for you.

    As the firms have nearly nothing to do with your money position or your credit rating, you can attain the personal loan with a lot of relieve.
    small loan

  3. 3 semco energy inc port huron mi June 7, 2013 at 5:31 am

    Good day! I just want to give an enormous thumbs up for the good data
    you might have here on this post. I will be coming
    back to your weblog for more soon.

  4. 4 foreigner loan July 2, 2013 at 2:27 pm

    Thank you for the good writeup. It in fact was a amusement account
    it. Look advanced to far added agreeable from
    you! However, how can we communicate?

  5. 5 foreigner loans July 2, 2013 at 2:30 pm

    Nice post. I learn something new and challenging on websites I stumbleupon everyday.
    It’s always interesting to read through articles from other writers and use something from other sites.

  6. 6 shinkyoshin singapore July 2, 2013 at 2:35 pm

    Hi to every single one, it’s truly a pleasant for me to visit this web site, it contains important Information.

  7. 7 foreigner loans July 2, 2013 at 2:38 pm

    I almost never leave a response, but i did some searching and wound
    up here Unification of simply-typed λ-terms as logic programming | Name binding blog.
    And I actually do have 2 questions for you if you tend not to mind.
    Is it simply me or does it seem like a few of the
    responses come across as if they are left by brain dead people?
    😛 And, if you are writing on additional online sites,
    I would like to follow everything new you have to
    post. Would you list of every one of all your communal pages like your Facebook page, twitter feed, or
    linkedin profile?

  8. 8 curing hemorrhoids July 8, 2013 at 5:52 am

    We’re a group of volunteers and starting a new scheme in our community. Your site offered us with helpful information to work on. You’ve done
    an impressive task and our entire community can be thankful to you.

  9. 9 hosterbox discount July 10, 2013 at 3:57 pm

    Nice post. I learn something new and challenging on
    sites I stumbleupon everyday. It’s always interesting to read through content from other authors and use something from their sites.

  10. 10 Clicca qui July 24, 2013 at 11:36 am

    Wow, wonderful blog structure! How lengthy have you been running a blog for?
    you make blogging glance easy. The entire glance of your web site is
    fantastic, let alone the content material!

  11. 11 Rachael Ray Cookware Set August 21, 2013 at 2:02 pm

    What’s up to every body, it’s my first pay a quick visit of this weblog;
    this blog contains remarkable and truly good material designed for visitors.

  12. 12 Get the Information September 7, 2013 at 5:53 am

    Having read this I believed it was rather
    informative. I appreciate you taking the time and
    effort to put this short article together. I once again find myself spending way too much time both rreading and leaving comments.
    But so what, itt wwas stilkl worfth it!

  13. 13 Hilario October 1, 2013 at 12:47 pm

    No make any difference which group you are shopping for it for or the place exatly you are
    going to putt it in your residence, it actually is built and all the attainable
    technique products in intellect and it is quickly accessible over the
    net. Why do you will will need them? Have you at any time thought how a great deal space a cabinet occupies?

    Or on the other hand why you have a authentic least area to hang your shirts,
    where by in above a evening these shirts loose the stiff creases.

  14. 14 メンズ ファッション 通販 October 1, 2013 at 7:33 pm


  15. 15 Mahalia October 25, 2013 at 8:20 am

    My brother recommended I might like this website.
    He was entirely right. This post truly made my day.
    You can not imagine just how much time I had spent for this info!

  16. 16 nauka jezyka angielskiego dla dzieci January 26, 2014 at 9:55 am

    The Learning Environment and gramatyka angielska dla dzieci.
    nauka angielskiego online The Learning Environment

  17. 17 http://angielskiinowroclaw.edublo.pl/ April 6, 2014 at 4:38 pm

    There is definately a great deal to learn about this issue.
    I like all of the points you made.

  18. 18 pozycjonowanie wroclaw river April 6, 2014 at 5:56 pm

    Swimming Lessons Why We Want You To Learn Swimming and pozycjonowanie wroclaw.
    Swimming Lessons Why We Want You To Learn Swimming

  19. 19 idiomy angielski May 3, 2014 at 2:23 pm

    How Acquire Access To Facebook Inside Your University and angielski dla poczatkujacych.
    How Acquire Access To Facebook Inside Your University

  20. 20 usda mortgage May 8, 2014 at 11:55 pm

    Please let me know if you’re looking for a article author
    for your weblog. You have some really good articles and I
    think I would be a good asset. If you ever want to take some
    of the load off, I’d really like to write some content for your blog in exchange for a link back to mine.

    Please blast me an e-mail if interested. Regards!

  21. 21 https://oliva72njiqr.wordpress.com February 6, 2015 at 2:18 pm

    My old company once contracted a freelancer to do the search engine optimisation and
    after a few weeks the site had lost a lot of traffic, bad sign right?

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: